% define some light greys
\definecolor{mybggrey}{rgb}{0.87, 0.87, 0.87}
\definecolor{mydotgrey}{rgb}{0.66, 0.66, 0.66}

% set a lightgrey background to a typewriter font, to highlight the terminal commands
\newcommand{\codeline}[1]{\colorbox{mybggrey}{\texttt{#1}}}

% 'cost' function
\newcommand{\cost}{\mbox{cost}}
